NORMAL KAT YÜKSEKLİĞİNİN FARKLI OLMASI DURUMUNDA YAPI PERFORMANSININ İNCELENMESİ
نویسندگان
چکیده
منابع مشابه
Kat Etov's Lemma and Monotonically Normal Spaces
An interpolation lemma due to Kat etov is simpliied in order to make it more general and easier to use. Several results are established to illustrate applications of this lemma, including a characterization of monotonically normal spaces and a topology-free insertion theorem. We also prove that a topological space has an order-preserving insertion if and only if it is dominated by a collection ...
متن کاملMilis Çoklu Örnekle Öğrenme Algori̇tmasinin Farkli Bi̇r Örnek Seçme Yöntemi̇yle Yeni̇den İncelenmesi̇ Revisiting Milis Multiple Instance Learning Algorithm with a Different Instance Selection Mechanism
Multiple instance learning (MIL) is a new paradigm in machine learning that deals with classification of bags of instances, as opposed to the traditional view that aims at learning from single instances. In a typical MIL setting, a negative bag is composed of only negative instances. On the other hand, a bag is considered positive if it contains at least one positive instance. This learning app...
متن کاملAutomata for KAT Expressions
Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...
متن کاملYAPI, a new Yersinia pseudotuberculosis pathogenicity island.
Pathogenicity islands (PAIs) are chromosomal clusters of pathogen-specific virulence genes often found at tRNA loci. In the Yersinia pseudotuberculosis 32777 chromosome, we characterized a 98-kb segment that has all of the characteristic features of a PAI, including insertion in a (phenylalanine) tRNA gene, the presence of a bacteriophage-like integrase-encoding gene, and direct repeats at the ...
متن کاملKAT and PHL in Coq
In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ömer Halisdemir Üniversitesi Mühendislik Bilimleri Dergisi
سال: 2017
ISSN: 2564-6605
DOI: 10.28948/ngumuh.297906